#ifndef __THETA_VM_ENV_H
#define __THETA_VM_ENV_H

#include "../data/data.h"

#include <iostream>
#include "report.h"

namespace vm
{
	namespace env
	{
		class VMEnv
		{
		private:
			bool dirtyPageManagement;
			t_data_meta_page page;

		public:
			VMEnv();
			void enableDirtyPageManagement();
			void disableDirtyPageManagement();
		};
	}
}

#endif